integral properties proof